<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<title>Reclaiming Open learning</title>
<meta http-equiv="refresh"
 content="0;URL=http://www.youtube.com/watch?v=3ROZqF9X1nE">
</head>

<body>
Redirecting to video.

<pre>
Video script:

Science, technology, and today even commerce are extremely dependent on mathematics. Computer tools are essential to us in all these areas.

[[click through to Prooftoys]]

Shouldn't help with math itself be just a click away?

Like this service, available to anyone anywhere, connected to the Internet or any server with the open-source software installed:

Problems to solve.

[[select expression and show menu]]

Menus of relevant steps to take.

[[select arithmetic expression]]

Every step strictly correct, actually proved from basic principles by the software.

[[select another expression]]

Learning through practice, the user's choice, each step guided and checked and always mathematically correct.

[[do something silly]]

Not every step may take you toward a good solution, but you can never
be mathematically wrong

[[delete the misstep]]

and you can always go back and try something else

[[complete the problem, check answer]]

until you get confirmation of the final result.

This session had a user interface tailored for skills practice. 

[[click to proof builder or similar]]

The full user interface offers more options and more detail. As in this little proof that taking the reciprocal twice gives back its nonzero input.

You have been watching a small session using Prooftoys, the simple proof
assistant for the World Wide Web.
</pre>

</body>
</html>
